binary tree and its properties